Sensitivity Analysis for a Scenario-Based Reliability Prediction Model

As a popular means for capturing behavioural requirements, scenariosshow how components interact to provide system-level functionality.If component reliability information is available, scenarioscan be used to perform early system reliability assessment. Inprevious work we presented an automated approach for predictingsoftware system reliability that extends a scenario specificationto model (1) the probability of component failure, and (2) scenariotransition probabilities. Probabilistic behaviour models ofthe system are then synthesized from the extended scenario specification.From the system behaviour model, reliability predictioncan be computed. This paper complements our previous work andpresents a sensitivity analysis that supports reasoning about howcomponent reliability and usage profiles impact on the overall systemreliability. For this purpose, we present how the system reliabilityvaries as a function of the components reliabilities and thescenario transition probabilities. Taking into account the concurrentnature of component-based software systems, we also analysethe effect of implied scenarios prevention into the sensitivity analysisof our reliability prediction technique

Realizing the supersymmetric inverse seesaw model in the framework of R-parity violation

If, on one hand, the inverse seesaw is the paradigm of TeV scale seesaw mechanism, on the other it is a challenge to find scenarios capable of realizing it. In this work we propose a scenario, based on the framework of R-parity violation, that realizes minimally the supersymmetric inverse seesaw mechanism. In it the energy scale parameters involved in the mechanism are recognized as the vacuum expectation values of the scalars that compose the singlet superfields $\hat N^C$ and $\hat S$. We develop also the scalar sector of the model and show that the Higgs mass receives a new tree-level contribution that, when combined with the standard contribution plus loop correction, is capable of attaining $125$GeV without resort to heavy stops.Comment: Minor modification of the text. Final version to be published in PL